Backward Chaining Sequence